Problem 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.

2 3.14

13

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