`any_type` is probably a bad name for this.  `any_number` or `number_type` is more correct.