// EXTRA_FILES: imports/a12037.d
import imports.a12037;

alias CustomFloat!(10, 5) Float16;

void main()
{
    Float16 f = 0;
}