More functional bigint