initial work for float32 support in js optimizer