No known plugins use this feature, aside from float.inc, and that use case will be removed shortly as floats are soon to be intrinsic. The implementation of operator overloads is quite awful. They ...