import std.stdio;
import std.format;

void main( string[] args ) {
    real r;
    ubyte *ubp = cast(ubyte*)&r;
    
    foreach( line; stdin.byLine ) {
        formattedRead( line, " %f ", &r );
        writef( "%20.18g : ", r );
        for( int i = r.sizeof -1; i >= 0; --i ) {
            writef( "%08.8b ", ubp[i] );
        }
        writeln();
    }
}