905922: git get_int instead of get in order to use the value as a booole...

...an