fix missing comma in simple_check_1_ge.c
add commits regarding numbers in prob.c