lua : add float-typed preferences