Bug ZK-2419: slider only writes integer even when binding curpos with a double attribute