Added missing license information.
Simplified float_equal: used tag dispatch in the implementation and simplified the visible definition.