system/options/decimal-digits test marked as #r3only