Logged In: YES 
user_id=700949

Actually, while trying to track down this bug I browsed 
through most of the backends (in particular anydbm), and 
they make the float() conversion, which is why I assumed that 
was the intended spec.

It might be worth considering in the next version to add an 
Integer() type, however. Just to make that distinction/spec 
clear.