package hfloat16

file_number 0 "/inputs/subtree/xls/dslx/stdlib/std.x"
file_number 1 "/inputs/subtree/xls/dslx/stdlib/apfloat.x"
file_number 2 "/inputs/subtree/xls/dslx/stdlib/hfloat16.x"

top fn __hfloat16__has_fractional_part(f: (bits[1], bits[5], bits[10]) id=20) -> bits[1] {
  f_bexp__1: bits[5] = tuple_index(f, index=1, id=36, pos=[(1,4192,5), (2,124,74)])
  literal.37: bits[5] = literal(value=25, id=37, pos=[(1,4192,17), (2,124,74)])
  ret ult.40: bits[1] = ult(f_bexp__1, literal.37, id=40, pos=[(1,4192,5), (2,124,74)])
}