<<$1 --> number> ==> <(/,successor,$1,_) --> number>>. <0 --> number>. <(/,successor,(/,successor,0,_),_) --> number>? 20000 ''outputMustContain('<(/,successor,0,_) --> number>.') //''outputMustContain('<(/,successor,(/,successor,0,_),_) --> number>.') //''outputMustContain('<(/,successor,(/,successor,0,_),_) --> number>. %1.00;0.73%')