Erlang library to do exact double arithmetic - NIF wrapper around iRRAM (http://irram.uni-trier.de/)