Some (not all) of these cases would be helped massively if the JVM gained an equivalent of the fixnum/flonum types from the LISP world. This has been proposed kind-of seriously in the past, e.g.:

http://blogs.oracle.com/jrose/entry/fixnums_in_the_vm

Has anyone seen anything more recent?