Floating point operations now translated