Range specification

Range of numbers (integers or real numbers) can be given in the format N0$\sim$ N1. Integer ranges are expanded into a list of integers starting from N0 (inclusive) to N1 (inclusive). Range of real numbers is used to select all values between N0 and N1 (including the boundaries). E.g.

Integer ranges:

• 10$\sim$ 30 implies all integers in the range [10,30]
• 10.1$\sim$ 30.5 implies all integers in the range [10,30]

Floating point ranges:

• 10$\sim$ 30 implies all values in the range [10.0, 30.0]
• 10.5$\sim$ 30.7 implies all values in the range [10.5, 30.7]
• 1.05e1 $\sim$ 3.07e1 implies all values in the range [10.5, 30.7]