Not a fan of doing this: can lead to strange behaviour in other places if people don't notice it. Better to cast to float when we need to instead?