Write the binary representation of the decimal number $63\mathrm{.}25$ using the IEEE $754$ double precision format. $(32-$bit double precision: $11$ bits for exponent $(1023$d bias$)+52$ bits for mantissa$)$ Show your work leading to your final $64-$bit answer $($sign bit, exponent bits, mantissa bits$).$