toolbox: Add big integer and big real