Here are some tests that fail if the target does not support floating point.