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