A big-integer implementation in Javascript