Yes, I do! I just submitted it as a feature request (not a bug so far as I can tell.) Whole numbers keep things simple, so I’ve always tried to use them on my servers since my currency is “Drakes”, rather than dollars or yen or any other standard real world currency.