Converts num as vertical padding.
numを垂直方向のパディングとして変換します。
EdgeInsets get py => EdgeInsets.symmetric(vertical: toDouble());