changed float encoder, globally