float32

A single-precision floating-point value that occupies 32 bits of memory.

float32 is equivalent to float. 1


  1. In this language, float is well-defined: it’s float32.
    “Q&A after Run-Time Type Info” YouTube, uploaded by Jonathan Blow, Feb 12, 2015, https://youtu.be/LPWXSXKnmqg?t=138 

jailang 2019 pixeldroid
https://github.com/pixeldroid/jailang
programming pages theme v0.5.21 (https://github.com/pixeldroid/programming-pages)