use as_int