Add deterministic numeric-consistency checker (flags prose number slips)

f725a35

verified

nextmarte commited on 28 days ago