validate_non_negative_big_integer