\real{nb=12345/1000} \text{nb2=wims(replace internal . by t t in \nb)} \text{nb2=wims(replace internal t by in \nb2)} \statement{\nb2}