Float typing rule added