This should use as_int or whatever it's called.