P10425 [Lanqiao Cup 2024 NOI Qualifier B] R Format.

Description

Xiao Lan has recently been studying a way to represent floating-point numbers: the $R$ format. For a floating-point number $d$ greater than $0$, it can be represented by an integer in $R$ format. Given a conversion parameter $n$, the method to convert the floating-point number into an $R$-format integer is as follows: 1. Multiply the floating-point number by $2^n$. 2. Round to the nearest integer.

Input Format

One line containing an integer $n$ and a floating-point number $d$.

Output Format

Output one line containing one integer, representing the value of $d$ in $R$ format.

Explanation/Hint

### Sample 1 Explanation $3.14 \times 2^2 = 12.56$, which becomes $13$ after rounding. ### Constraints Let $t$ be the length of $d$ when $d$ is treated as a string. - For $50\%$ of the testdata, it is guaranteed that $n \le 10$ and $t \le 15$. - For all testdata, it is guaranteed that $1 \le n \le 1000$ and $1 \le t \le 1024$, and $d$ is a decimal number, meaning it contains a decimal point. Translated by ChatGPT 5