Index: uspace/lib/cpp/include/impl/limits.hpp
===================================================================
--- uspace/lib/cpp/include/impl/limits.hpp	(revision a3067afa8c852dc82e10c1be9bb506f895e198c0)
+++ uspace/lib/cpp/include/impl/limits.hpp	(revision a3067afa8c852dc82e10c1be9bb506f895e198c0)
@@ -0,0 +1,497 @@
+/*
+ * Copyright (c) 2017 Jaroslav Jindrak
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * - Redistributions of source code must retain the above copyright
+ *   notice, this list of conditions and the following disclaimer.
+ * - Redistributions in binary form must reproduce the above copyright
+ *   notice, this list of conditions and the following disclaimer in the
+ *   documentation and/or other materials provided with the distribution.
+ * - The name of the author may not be used to endorse or promote products
+ *   derived from this software without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
+ * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
+ * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
+ * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
+ * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+ * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+ * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
+ * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+
+#ifndef LIBCPP_LIMITS
+#define LIBCPP_LIMITS
+
+#include <cstdint>
+
+namespace std
+{
+
+    /**
+     * 18.3.2.5, type float_round_style:
+     */
+
+    enum float_round_style
+    {
+        round_indeterminate       = -1,
+        round_toward_zero         =  0,
+        round_to_nearest          =  1,
+        round_toward_infinity     =  2,
+        round_toward_neg_infinity =  3
+    };
+
+    /**
+     * 18.3.2.6, type float_denorm_style:
+     */
+
+    enum float_denorm_style
+    {
+        denorm_indeterminate = -1,
+        denorm_absent        =  0,
+        denorm_present       =  1
+    };
+
+    /**
+     * 18.3.2.3, class template numeric_limits:
+     */
+
+    namespace aux
+    {
+        template<class T>
+        class numeric_limits
+        {
+            public:
+                static constexpr bool is_specialized = false;
+
+                static constexpr T min() noexcept
+                {
+                    return T{};
+                }
+
+                static constexpr T max() noexcept
+                {
+                    return T{};
+                }
+
+                static constexpr T lowest() noexcept
+                {
+                    return T{};
+                }
+
+                static constexpr int digits       = 0;
+                static constexpr int digits10     = 0;
+                static constexpr int max_digits10 = 0;
+
+                static constexpr bool is_signed  = false;
+                static constexpr bool is_integer = false;
+                static constexpr bool is_exact   = false;
+
+                static constexpr int radix = 0;
+
+                static constexpr T epsilon() noexcept
+                {
+                    return T{};
+                }
+
+                static constexpr T round_error() noexcept
+                {
+                    return T{};
+                }
+
+                static constexpr int min_exponent   = 0;
+                static constexpr int min_exponent10 = 0;
+                static constexpr int max_exponent   = 0;
+                static constexpr int max_exponent10 = 0;
+
+                static constexpr bool has_infinity      = false;
+                static constexpr bool has_quiet_NaN     = false;
+                static constexpr bool has_signaling_NaN = false;
+
+                static constexpr float_denorm_style has_denorm = denorm_absent;
+                static constexpr bool has_denorm_loss          = false;
+
+                static constexpr T infinity() noexcept
+                {
+                    return T{};
+                }
+
+                static constexpr T quiet_NaN() noexcept
+                {
+                    return T{};
+                }
+
+                static constexpr T signaling_NaN() noexcept
+                {
+                    return T{};
+                }
+
+                static constexpr T denorm_min() noexcept
+                {
+                    return T{};
+                }
+
+                static constexpr bool is_iec559  = false;
+                static constexpr bool is_bounded = false;
+                static constexpr bool is_modulo  = false;
+
+                static constexpr bool traps           = false;
+                static constexpr bool tinyness_before = false;
+
+                static constexpr float_round_style round_style = round_toward_zero;
+        };
+    }
+
+    template<class T>
+    class numeric_limits: public aux::numeric_limits<T>
+    { /* DUMMY BODY */ };
+
+    template<class T>
+    class numeric_limits<const T>: public numeric_limits<T>
+    { /* DUMMY BODY */ };
+
+    template<class T>
+    class numeric_limits<volatile T>: public numeric_limits<T>
+    { /* DUMMY BODY */ };
+
+    template<class T>
+    class numeric_limits<const volatile T>: public numeric_limits<T>
+    { /* DUMMY BODY */ };
+
+    /**
+     * 18.3.2.3, class template numeric_limits:
+     */
+
+    template<>
+    class numeric_limits<float>
+    {
+        public:
+            static constexpr bool is_specialized = true;
+
+            static constexpr float min() noexcept
+            {
+                return 1.17549435e-38f;
+            }
+
+            static constexpr float max() noexcept
+            {
+                return 3.40282347e+38f;
+            }
+
+            static constexpr float lowest() noexcept
+            {
+                return -3.40282347e+38f;
+            }
+
+            static constexpr int digits       = 24;
+            static constexpr int digits10     =  6;
+            static constexpr int max_digits10 =  9;
+
+            static constexpr bool is_signed  = true;
+            static constexpr bool is_integer = false;
+            static constexpr bool is_exact   = false;
+
+            static constexpr int radix = 2;
+
+            static constexpr float epsilon() noexcept
+            {
+                return 1.19209290e-07f;
+            }
+
+            static constexpr float round_error() noexcept
+            {
+                return 0.5f;
+            }
+
+            static constexpr int min_exponent   = -127;
+            static constexpr int min_exponent10 =  -37;
+            static constexpr int max_exponent   =  128;
+            static constexpr int max_exponent10 =   38;
+
+            static constexpr bool has_infinity      = true;
+            static constexpr bool has_quiet_NaN     = true;
+            static constexpr bool has_signaling_NaN = true;
+
+            static constexpr float_denorm_style has_denorm = denorm_absent;
+            static constexpr bool has_denorm_loss          = false;
+
+            static constexpr float infinity() noexcept
+            {
+                // TODO: implement
+                return 0.f;
+            }
+
+            static constexpr float quiet_NaN() noexcept
+            {
+                // TODO: implement
+                return 0.f;
+            }
+
+            static constexpr float signaling_NaN() noexcept
+            {
+                // TODO: implement
+                return 0.f;
+            }
+
+            static constexpr float denorm_min() noexcept
+            {
+                return min();
+            }
+
+            static constexpr bool is_iec559  = true;
+            static constexpr bool is_bounded = true;
+            static constexpr bool is_modulo  = false;
+
+            static constexpr bool traps           = true;
+            static constexpr bool tinyness_before = true;
+
+            static constexpr float_round_style round_style = round_to_nearest;
+    };
+
+    template<>
+    class numeric_limits<bool>
+    {
+        public:
+            static constexpr bool is_specialized = true;
+
+            static constexpr bool min() noexcept
+            {
+                return false;
+            }
+
+            static constexpr bool max() noexcept
+            {
+                return true;
+            }
+
+            static constexpr bool lowest() noexcept
+            {
+                return false;
+            }
+
+            static constexpr int digits       = 1;
+            static constexpr int digits10     = 0;
+            static constexpr int max_digits10 = 0;
+
+            static constexpr bool is_signed  = false;
+            static constexpr bool is_integer = true;
+            static constexpr bool is_exact   = true;
+
+            static constexpr int radix = 2;
+
+            static constexpr bool epsilon() noexcept
+            {
+                return 0;
+            }
+
+            static constexpr bool round_error() noexcept
+            {
+                return 0;
+            }
+
+            static constexpr int min_exponent   = 0;
+            static constexpr int min_exponent10 = 0;
+            static constexpr int max_exponent   = 0;
+            static constexpr int max_exponent10 = 0;
+
+            static constexpr bool has_infinity      = false;
+            static constexpr bool has_quiet_NaN     = false;
+            static constexpr bool has_signaling_NaN = false;
+
+            static constexpr float_denorm_style has_denorm = denorm_absent;
+            static constexpr bool has_denorm_loss          = false;
+
+            static constexpr bool infinity() noexcept
+            {
+                return 0;
+            }
+
+            static constexpr bool quiet_NaN() noexcept
+            {
+                return 0;
+            }
+
+            static constexpr bool signaling_NaN() noexcept
+            {
+                return 0;
+            }
+
+            static constexpr bool denorm_min() noexcept
+            {
+                return 0;
+            }
+
+            static constexpr bool is_iec559  = false;
+            static constexpr bool is_bounded = true;
+            static constexpr bool is_modulo  = false;
+
+            static constexpr bool traps           = false;
+            static constexpr bool tinyness_before = false;
+
+            static constexpr float_round_style round_style = round_toward_zero;
+    };
+
+    /**
+     * Note: Because of the limited state of limit.h, we define only
+     *       the most basic properties of the most basic types (that are likely
+     *       to be used in a program that is being ported to HelenOS).
+     */
+
+    template<>
+    class numeric_limits<int8_t>: public aux::numeric_limits<int8_t>
+    {
+        public:
+            static constexpr bool is_specialized = true;
+
+            static constexpr int8_t max()
+            {
+                return INT8_MAX;
+            }
+
+            static constexpr int8_t min()
+            {
+                return INT8_MIN;
+            }
+    };
+
+    template<>
+    class numeric_limits<int16_t>: public aux::numeric_limits<int16_t>
+    {
+        public:
+            static constexpr bool is_specialized = true;
+
+            static constexpr int16_t max()
+            {
+                return INT16_MAX;
+            }
+
+            static constexpr int16_t min()
+            {
+                return INT16_MIN;
+            }
+    };
+
+    template<>
+    class numeric_limits<int32_t>: public aux::numeric_limits<int32_t>
+    {
+        public:
+            static constexpr bool is_specialized = true;
+
+            static constexpr int32_t max()
+            {
+                return INT32_MAX;
+            }
+
+            static constexpr int32_t min()
+            {
+                return INT32_MIN;
+            }
+    };
+
+    template<>
+    class numeric_limits<int64_t>: public aux::numeric_limits<int64_t>
+    {
+        public:
+            static constexpr bool is_specialized = true;
+
+            static constexpr int64_t max()
+            {
+                return INT64_MAX;
+            }
+
+            static constexpr int64_t min()
+            {
+                return INT64_MIN;
+            }
+    };
+
+    template<>
+    class numeric_limits<uint8_t>: public aux::numeric_limits<uint8_t>
+    {
+        public:
+            static constexpr bool is_specialized = true;
+
+            static constexpr uint8_t max()
+            {
+                return UINT8_MAX;
+            }
+
+            static constexpr uint8_t min()
+            {
+                return UINT8_MIN;
+            }
+    };
+
+    template<>
+    class numeric_limits<uint16_t>: public aux::numeric_limits<uint16_t>
+    {
+        public:
+            static constexpr bool is_specialized = true;
+
+            static constexpr uint16_t max()
+            {
+                return UINT16_MAX;
+            }
+
+            static constexpr uint16_t min()
+            {
+                return UINT16_MIN;
+            }
+    };
+
+    template<>
+    class numeric_limits<uint32_t>: public aux::numeric_limits<uint32_t>
+    {
+        public:
+            static constexpr bool is_specialized = true;
+
+            static constexpr uint32_t max()
+            {
+                return UINT32_MAX;
+            }
+
+            static constexpr uint32_t min()
+            {
+                return UINT32_MIN;
+            }
+    };
+
+    template<>
+    class numeric_limits<uint64_t>: public aux::numeric_limits<uint64_t>
+    {
+        public:
+            static constexpr bool is_specialized = true;
+
+            static constexpr uint64_t max()
+            {
+                return UINT64_MAX;
+            }
+
+            static constexpr uint64_t min()
+            {
+                return UINT64_MIN;
+            }
+    };
+
+    template<>
+    class numeric_limits<double>: public aux::numeric_limits<double>
+    {
+        public:
+        // TODO: implement
+    };
+
+    template<>
+    class numeric_limits<long double>: public aux::numeric_limits<long double>
+    {
+        public:
+        // TODO: implement
+    };
+}
+
+#endif