Dynamic Partitioning in Analyses of Numerical Properties