As of today, my bitvm implementation supports adding 32 bit numbers. AND you can play with it online! (Testnet only.) Want to run #bitvm? Just visit this site!