TODO: debug Big Number overflow