905922: use get_int instead of get in order to consume the value as a booolean