Testing a possible mono-biginteger fix