also $start is always int here, as the seond parameter of `request_var('start', 0)` is int and there for the value is casted