Add flags -fno-specialise, -fno-float-in, and document them