I've encountered this non-integer bug when using keyboard shortcuts to increment leading by 1 or .1 points. Horrible bug, as I use this constantly, many, many times a day. Yes, my prefs are all set to picas.
PLEASE fix this in 8.0.2, Quark!