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

f725a35

Running

verified

nextmarte commited on 16 days ago