Converts num as right padding.
numを右方向のパディングとして変換します。
EdgeInsets get pr => EdgeInsets.only(right: toDouble());