The incorporation of bignums is interesting - i'm curious how does that works when compiling to javascript (where double is the only numeric type) does that me

The incorporation of bignums is interesting - i'm curious how does that works when compiling to javascript (where double is the only numeric type) does that mean all integer math is emulated? Long emulation is slow enough in GWT, but you have the choice of using int if you don't need a long.