Number line partitioning