There are a few references also in the blog post.
Also seems modeling the transformer as in the TC0 class, in principle it should be able to do division and multiplication of numbers.
There are a few references also in the blog post.