So floating point operations don't work?