Rounds each element x_i of the input array x to the greatest (i.e., closest to +infinity) integer-valued number that is not greater than x_i.
Array-API ‘floor’ doc
previous
float_power
next
floor_divide