add missing type assertions on globals
support BigFloat and BigInt conversions (fixes #13)