fix #42 fpow() getting inlined incorrectly