Force cast to float for now (int/float for ints larger than 2G gives an integer as a reply) Rev: server/base_server/configuration.pike:1.240