Another try to fix bigintval() problem, ticket #114