numeric subtype: root of equation
why merge when tou can diverge?