C# modules: float default values cause build error

[bfops]

example module:

using SpacetimeDB;

public static partial class Module
{
    [Table(Accessor = "float_default", Public = true)]
    public partial struct FloatDefault
    {
        [Default(32.5f)]
        public float value;
    }
}

spacetimedb/SpacetimeDB.Codegen/SpacetimeDB.Codegen.Module/FFI.cs(379,23): error CS1503: Argument 2: cannot convert from 'double' to 'float' [/home/work/zeke-csharp/spacetimedb/StdbModule.csproj::TargetFramework=net8.0]