0.9.4: Fix behaviour of python encoder -- cast int objects to ints explicitly