// Other builtin floats should be handled here. But I'm not sure if that is
// even possible yet, since I'm not sure if we have a TOC for such things.
// If so, then they should define ListName, as non-builtin floats do, and
// Other builtin floats should be handled here. But I'm not sure if that is
// even possible yet, since I'm not sure if we have a TOC for such things.
// If so, then they should define ListName, as non-builtin floats do, and