Tests for com.sun.demoapi.BigNum