old fdlibm bug, only affects soft float targets.