diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index d2bfeca..ee1ae4d 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -16,8 +16,7 @@ jobs:
       - name: Build lua
         run: make \
           MYCFLAGS='-O3 -fomit-frame-pointer' \
-          EXTRA_LIBS='-lm -ldl' \
-          NUMBER='-DLUA_USER_H="\"../etc/luser_number.h"\" -DUSE_FLOAT'
+          EXTRA_LIBS='-lm -ldl'
 
       - name: Run tests
         run: ./bin/lua test/faf.lua
diff --git a/Dockerfile b/Dockerfile
index 7b96010..47befad 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -8,7 +8,6 @@ COPY . /code/
 RUN make \
   MYCFLAGS='-O3 -fomit-frame-pointer' \
   EXTRA_LIBS='-lm -ldl' \
-  NUMBER='-DLUA_USER_H="\"../etc/luser_number.h"\" -DUSE_FLOAT' \
   install
 
 # Main entrypoint and the default command that will be run
diff --git a/config b/config
index 34c77ea..fd34b89 100644
--- a/config
+++ b/config
@@ -72,7 +72,7 @@ USERCONF=
 # Lua uses double for numbers. To change this, uncomment and edit the following
 # line, changing USE_XXX to one of USE_DOUBLE, USE_FLOAT, USE_LONG, USE_INT.
 #
-#NUMBER= -DLUA_USER_H='"../etc/luser_number.h"' -DUSE_XXX
+NUMBER= -DLUA_USER_H='"../etc/luser_number.h"' -DUSE_FLOAT
 
 # When compiling Lua with gcc on a Pentium machine, using a fast rounding
 # method for the conversion of doubles to ints can give around 20% speed