The two strings '4200' and '4200.0' are not the same:
mysql> mysql> SELECT '4200' = '4200.0'; +-------------------+ | '4200' = '4200.0' | +-------------------+ | 0 | +-------------------+ 1 row in set (0.00 sec) mysql>