/*
Some extra initialization code.
*/

MpIeee::setPrecision(20);
