#if REAL_T_IS_DOUBLE global using real_t = System.Double; #else global using real_t = System.Single; #endif