Big Muff: double to float