w3c-server: allow integer value for attributes with double type.