Fix a crash with __flaot128 noticed by Eli.