床関数と天井関数
床関数は実数から整数への関数であるが、一般に実数の切り捨てとは任意の桁においても行われるものであり、小数第1位での切り捨てとは限らない。