Converts num as padding in the upper right direction.
numを右上方向のパディングとして変換します。
EdgeInsets get ptr => EdgeInsets.only(top: toDouble(), right: toDouble());