Enforces coconut-style non-decimal integers