I would ignore that probably yeah.  Actually I think it'd probably be worth coercing the key to a sting.  In JSON that'll always be the case anyways, and if someone wants some other behavior they'll just need to implement a slightly different dict field themselves.