Refined.OnlyDigits

data OnlyDigits