#937 warn on comparion of different float types

[Anonymous]

A line like
if (Float.parseFloat("1.11") > 1.11)
should optionally trigger a warning that floating point
values of differnt typesare compared here which leads
to unprecise results. Other operators affected: +, -,
==, >, <