zero, one: convert from Int instead of Float64 [fix #6461].