version 0.5.2, now with really working 53bit numbers