can we have a floating point opt here instead?