Using "fast" floating pint model. Apparently doesn't change the result, while it might be a bit faster.