double UNSIGNED (unsigned int *s) { return (double) *s; }