translateConstant (BI i)                   = jsBigInt $ JSNum (JSInteger i)
translateConstant (BI i)                   = jsBigInt $ JSNum (JSInteger i)
translateConstant (BI i)                   = jsBigInt $ JSNum (JSInteger i)