// Automatically generated on Mon Jul 22 22:30:21 2024. See crbug.com/495833. #include "tx_float_init.c"