playframework/Play20 — comment on commit 7f7c953a0f2f02f393d34c1feccd3d2009916d0e
File:  line 0
By ikester:

I understand that JSON only defines a "Number" but it's pretty annoying to send entity IDs as 9324.0. Do you have any suggestions to make APIs a little nicer, without all the unnecessary decimal points?