Oh, sorry, I was thinking of a different project. You're right, decimal representation would be more consistent here.