题解

#include<bits/stdc++.h>
using namespace std;
int main(){
    cout << 12.345;
    return 0;
}