an implementation of floating point for EM