fast math and printf