http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49010 --- Comment #7 from Thomas Henlich <thenlich at users dot sourceforge.net> 2011-05-17 11:57:31 UTC --- I suppose we could still use __builtin_fmod if we reset the sign bit if the result is -0.