error: unexpected digit separator in `no_prefix@`-prefixed number
 --> <input>:3:11
  |
3 | no_prefix@_123_._456_e_789_._012_
  |           ^
  |

error: unexpected digit separator in `no_suffix@`-prefixed number
 --> <input>:4:33
  |
4 | no_suffix@_123_._456_e_789_._012_
  |                                 ^
  |

error: unexpected digit separator in `no_point@`-prefixed number
 --> <input>:5:15
  |
5 | no_point@_123_._456_e_789_._012_
  |               ^
  |

error: unexpected digit separator in `no_point@`-prefixed number
 --> <input>:5:16
  |
5 | no_point@_123_._456_e_789_._012_
  |                ^
  |

error: unexpected digit separator in `no_point@`-prefixed number
 --> <input>:5:27
  |
5 | no_point@_123_._456_e_789_._012_
  |                           ^
  |

error: unexpected digit separator in `no_point@`-prefixed number
 --> <input>:5:28
  |
5 | no_point@_123_._456_e_789_._012_
  |                            ^
  |

error: unexpected digit separator in `no_exp@`-prefixed number
 --> <input>:6:19
  |
6 | no_exp@_123_._456_e_789_._012_
  |                   ^
  |

error: unexpected digit separator in `no_exp@`-prefixed number
 --> <input>:6:20
  |
6 | no_exp@_123_._456_e_789_._012_
  |                    ^
  |

error: aborting due to 8 errors