Update batFloat.ml