Will this always result in a floating point operation?