Actually commiting bigint.c