fixes for summary json: serialize BigDecimals, change some key names for more human-friendly output
fixes for summary json: serialize BigDecimals, change some key names for more human-friendly output

BrightSpots/rcv