Changed int() to as_int()