floor(x) = a*x+1