it return 1 (of the right type) in these cases. We still produce a FP trap, if enabled, though. Is that right?