v_str, t_str = input().split()
decimal_part = v_str.split('.')[1]
v_int = int(decimal_part)
t = int(t_str)
result = (v_int * t) // 10000
print(result)