/* SPDX-License-Identifier: LGPL-2.1+ */
/***
- This file is part of systemd.
-
- Copyright 2016 Zbigniew Jędrzejewski-Szmek
+ Copyright © 2016 Zbigniew Jędrzejewski-Szmek
***/
#include <stdio.h>
info(double);
info(long double);
+#ifdef __HAVE_DISTINCT_FLOAT128X
+ info(_Float128);
+ info(_Float64);
+ info(_Float64x);
+ info(_Float32);
+ info(_Float32x);
+#endif
+
info(size_t);
info(ssize_t);
info(time_t);