// -*- C++ -*-

export namespace std {

#if defined(__STDCPP_FLOAT16_T__)
  using float16_t = _Float16;
#endif

#if defined(__STDCPP_FLOAT32_T__)
  using float32_t = float;
#endif

#if defined(__STDCPP_FLOAT64_T__)
  using float64_t = double;
#endif

#if defined(__STDCPP_FLOAT128_T__)
  using float128_t = long double;
#endif

#if defined(__STDCPP_BFLOAT16_T__)
  using bfloat16_t = __bf16;
#endif

} // namespace std