is 1.375 an integer number?​