ceiling(x).n(subs={x:3}) now works; fixes #6939