We will investigate this issue. There are other issues related to simulating division which we are working towards fixing and this may be related to those issues.
When I try this, I get 11 as the answer. If I make it do 25/2, then the answer is given as 12. Is this something to do with the Picaxe integer maths thing?