Shorter dice format.
Fix #1196, #1222.