C (gcc), (削除) 23 (削除ここまで) \$\cdots\$ (削除) 17 (削除ここまで) 53 bytes
#import<stdint.h>
uint64_t f(uint64_t x){x/=sqrt(2);}
Saved 6 bytes thanks to @a'_'!!!
Added 38 bytes to fix type error kindly pointed out by @S.S.Anne.
Noodle9
- 20.4k
- 3
- 23
- 47