v, t = input().split()

print(int(v.replace('.', '')) * int(t) // 10000)