I want you to be able to enter decimal numbers in the padding numbers of the group.
It is inconvenient that you can handle the decimal point for other positions and sizes, but not the value here.
When considering character units (em, rem, etc.) as a reference when coding CSS, there are cases where a decimal point is required when converting to px, so I would like you to be able to enter a decimal point here as well.

要望 グループのパディングの数値に小数（decimal）で入力

グループのパディングの数値に小数(decimal)で入力できるようにして欲しい。
他の位置やサイズなどは小数点を扱えるがここの値は扱えないのが不便です。
CSSコーディングの際に文字単位（em,remなど）を基準として考える場合、px換算すると小数点が必要になるケースがあるので、ここも小数点の数値が入力できるようにして欲しい。