Floating point lavabug.
Initial result for single-precision floating point lavabug.