Compilation: namespace cleanup for floating point stuff.