Provide int types instead numpy types for allowing JSON encoding