diff --git a/libc/config/baremetal/api.td b/libc/config/baremetal/api.td
index 92dfe1264331e..d24c92e9e590d 100644
--- a/libc/config/baremetal/api.td
+++ b/libc/config/baremetal/api.td
@@ -52,6 +52,10 @@ def IntTypesAPI : PublicAPI<"inttypes.h"> {
   let Types = ["imaxdiv_t"];
 }
 
+def MathAPI : PublicAPI<"math.h"> {
+  let Types = ["double_t", "float_t"];
+}
+
 def StdIOAPI : PublicAPI<"stdio.h"> {
   let Types = ["size_t"];
 }