We should decide whether to use float or double before we bring it
back, if needed. In the mean time, it's best to remove the macro, as
the back-end did and still does not work.