This floor[n] function will find the largest integer less than or equal to n.
var a:=floor[10.5]; var y; y:=floor[a];