bugfix: comparison of integer to float