Decimal type?

Is there a way to get a decimal or float type instead of an integer?

Thanks!
James

https://ww.wp.xz.cn/plugins/woocommerce-custom-product-data-fields/