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