#include <stdio.h>

int main(void) {
    printf("%f\n", 1023.0f/(1<<25));
    return 0;
}