parameters: (floating_point_bits: int)
docstring: Sets the floating point precision for the local context.
  
      Usage: `with precision(p):`
  
      This overrides the global setting, see `set_global_precision()`.
  
      Args:
          floating_point_bits: 16 for half, 32 for single, 64 for double
docstring_summary: Sets the floating point precision for the local context.
docstring_tokens: Sets the floating point precision for the local context .
function: def precision(floating_point_bits: int):
      """
      Sets the floating point precision for the local context.
  
      Usage: `with precision(p):`
  
      This overrides the global setting, see `set_global_precision()`.
  
      Args:
          floating_point_bits: 16 for half, 32 for single, 64 for double
      """
      _PRECISION.append(floating_point_bits)
      try:
          yield None
      finally:
          _PRECISION.pop(-1)
function_tokens: def precision ( floating_point_bits : int ) : _PRECISION . append ( floating_point_bits ) try : yield None finally : _PRECISION . pop ( - 1 )