Add patch to add floating point once removed

More or less as a proof of concept how to add floating point if you don't
have it yet, without reimplementing too many wheels.