add serialize and deserialize for BigInt and BigFloat
using strings for now, which is reliable and portable.
fixes #3643