Added as_int